/*************************************************************************
	> File Name: oj-107_div7odd.c
	> Author: Wang Bo
	> Mail: 1276106221@qq.com
	> Created Time: 2020年10月18日 星期日 01时00分39秒
 ************************************************************************/

#include <stdio.h>
#include <stdlib.h>

int main() {
    int n;
    scanf("%d", &n);
    if (n & 1) {
        printf("%s", n % 7 == 0 ? "YES" : "NO");
    } else {
        printf("NO");
    }
    return 0;
}
